$\forall$$n$, $m$:$\mathbb{N}$. firstn($n$;upto($m$)) $\sim$ if $n$$\leq_{2}$$m$$\rightarrow$ upto($n$) else upto($m$) fi